setLimits() -> set_limits()
Allowing for tuning of timeouts for occur-based simplifications, too
Renaming all time limits
Renaming timeout calculations and names to end with _time_limitM
Adding time limit for XOR finder
Renaming limit
Removing a warning
Making limits for hyper-time stronger in prober
Making single probe time limit changeable and more strict
Even faster startup