[jacquesm]

The compiler isn't so much a verifier than that it is a translator. The verification step wasn't the initial focus but over time it became more and more important.