Implement a layer of proovability via large integer whooping

[jaromil]

As recommended by Bruce Schneider & co in cryptographic engineering, we can shadow all basic arithmetic operation with a 'whoop' proof. whoop whoop! p.s. many thanks @olabini amazing book recommendation <3