Cannot pass in false in Prover.toml

[jfecher]

Description

Aim

Running a program with the following Prover.toml:

x = false

And main.nr:

fn main(x: bool) {
    constrain x;
}

Produces the following error:

The parameter x is expected to be a Boolean but found incompatible value Field(0)
exit 1

Expected behavior

The program to run, but fail to prove/verify.