The Pi verifying compiler.