Modify simplifier to reflect changes in smtlib2
Allow users to specify which errors to listen to
Remove debug llvm output
Add double-free error type
New, budget based unrolling approach