exhaustive_tests function

(main function) Runs exhaustive tests