Implemented current style guide for backends (i.e., config.py and explicit logging)
Needed stuff to understand and run the QuickCheck backend.