Real-Hopper verifier for CFG successors and assembly output

[morluto]

Run the real-Hopper verifier to prove real CFG successors and non-empty assembly output for source-built C fixtures.

Acceptance:

• Basic blocks have real successor addresses.
• Assembly output is non-empty and bounded.
• Exact strings and comments are present.

Part of #54.