Coverage is now a command line option and is disabled by default. Sort of fixes #141