Imagination Dispels 10 Myths About Formal Verification