Optimistic Verifiable Training by Controlling Hardware Nondeterminism