Fix: 2^32-1 was the maximum number of matches in some circumstances
Fix the #if 0'ed Fibonacci-testing code (but keep it #if 0'ed out)
Fix freeing of backtracking stack at the end of a match/non-match