Some updates to how the testThms function works

The testKekuleanThms function know prompts for a time limit on how long
it should run. This differs from before where it would just run until
the first conflict.