Logging cleanup #3093

Cleans up some logging issues: * Fix log level in logback.xml being overwritten: It was overwritten by the default from the CLI when no option is given * Remove lots of extremely spammy log messages: Most of them are normal paths during proving or completely useless for debugging and produce gigabytes of useless output.