Add -t command line option that disables correctness checks and loops arithmetic 1024 times

This makes it easier to do profiling as the correctness checks would generate a lot of events