[Hexagon] Add machine verification to some tests

This is to help catch problems in D156552 that only showed up in an
expensive checks build.