Reduce max_nof_inst

The original limit on the number of instructions was chosen to
prevent memory explosions when building the SMT and was set much
higher than what is reasonable for the SMT solver to check.
Reduce the value to skip more functions that are obviously too
large to analyze, avoiding wasted time on checks that would only
time out.

lib/smtgcc.h

@@ -18,7 +18,7 @@ namespace smtgcc {
 const int unroll_limit = 12;
 
 const uint32_t max_nof_bb = 50000;
-const uint32_t max_nof_inst = 1000000;
+const uint32_t max_nof_inst = 100000;
 
 struct Not_implemented
 {