REFUSED: optimized Python disables the original verifier's assertions.
