{Model Checking vs. Theorem Proving: A Manifesto}