FixVault

Circuit/System Verification

Verify that U0100 is not set.