Add solve function that allows abortion of CNF generation

Also remove verbose parameter in legacy solve functions