Auto-generated Verifier.toml produces unreadable toml for bool parameters

[jfecher]

Description

Aim

Run cargo prove p on a main.nr and Prover.toml pair:

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

x = true

Expected behavior

The auto-generated Verifier.toml should read x = true.

Bug

The Verifier.toml that is actually generated is

x = "0x0000000000000000000000000000000000000000000000000000000000000001"

Which fails proving with the error message

cannot parse a string toml type into Boolean
exit 1