Resolve #7, Added timeout and remove `choose rule`

 - Default timeout = 1 sec
 - Default size expand = 8 x `original size`
 - Remove rewrite rules which contains Choose expression
 - Simplify now works with `--feelinglucky` option
 - Silent reporter for simplify solver
 - Improve speed of simplifer solver by re-use checkSAT-solvers
 - Improve speed of simplify by only checking SAT if we have
	 `proofContext.size > 0` and check if all conditions are simplified to
	 `true` boolean literal