Adding fuzzer for library usage
If verbosity is high enough, show when Solver::solve() is called

When doing library debugging
Removing library-usage detection, fixing debugLib

debugLib didn't turn off clause blocking. The library/non-library
distinction was not used, so is removed
Forgot to convert to int()
Better naming for variable
Fixing a randomisation issue in regression tester
Better code for component handler's decision var system
More output in component handler in case of higher verbosity
Making blocking&elimination store outer variables

This way, we don't have to update it constantly. Also, it makes
re-adding these clauses a LOT easier and cleaner
Cleaning up options for the regression tester
Cleaner checking in regression tester