More testing
More tests, cleaning up arithmetic verification
Event more tests, arithmetic covered now