defuglify error messages; fix `havoc`; parameterize timeout; rename cvc4 module; clean up