Implementing and Verifying Network Device Hardening