Speed up ASM -> x86-64 proof.

The x64_enc_deterministic proof was taking a long time. The total build time
has gone from 1.5hrs to about 9 minutes.