Vitalik: Added more M31 and binary field support for zorch

Vitalik said in X that with the addition of more M31 and binary field support for zorch, it is now possible to write reasonable-performance STARK proof code that runs on GPUs using Python.