Resolve "Saturation: Verify test_add_commutes_proof"

Closes #202 (closed)

moved files from rug-saturation-fuzzing as it required heavy rebase.

pipeline seems to fail on Script_interpreter.v with an infinite loop, I am unsure why as this branch is based on master.