Record real-Hopper semantic proof for source-built fixtures

[morluto]

Run the real-Hopper verifier against the source-built C, Objective-C, Swift, and N-API fixtures to record exact strings, globals, references, caller/callee identities, CFG edges, and metadata.

Acceptance:

• C fixture proves exact calls, references, strings, CFG edges, and decompilation.
• Objective-C fixture proves class/protocol/property/selectors/implementation/caller evidence.
• Swift fixture proves class/struct/enum/protocol/extension/strings/call evidence.
• N-API fixture proves registration symbol, export names, and registration references.

Part of #25.