And who in going to "verify" the machine code produced by the compiler used for the python interpreter itself?

(then the hardware would have to be validated as well if complex ISA).

The point is, cryptography should be mostly if not all assembly. Look at dav1d AV1 decoder to have an idea.