Hardware Is Hard: Firmware Unit Testing Makes it Easier