Add more readable serialisation of InputValues representing boolean values.

[TomAFrench]

Problem

Currently we allow users to set boolean arguments in the toml files as a true/false value. However when noirc_abi saves them to file, they all get converted to 0x0000000000000000000000000000000000000000000000000000000000000001 or 0x0000000000000000000000000000000000000000000000000000000000000000.

This isn't particularly readable, ideally we'd preserve the "booleanness" of these args rather than treating them as arbitrary fields.

Proposed solution

The reason for this issue is that InputValue represents all of fields, integers and bools as InputValue::Field.

noir/crates/noirc_abi/src/input_parser/mod.rs

Lines 14 to 19 in 260d87d

	pub enum InputValue {
	Field(FieldElement),
	Vec(Vec<FieldElement>),
	String(String),
	Struct(BTreeMap<String, InputValue>),
	}

We could address this by either adding a InputValue::Boolean variant or passing the ABI into the serialisation method similarly to how we do for parsing.

Alternatives considered

No response

Additional context

No response

Submission Checklist

• Once I hit submit, I will assign this issue to the Project Board with the appropriate tags.

[TomAFrench]

If anyone would like to contribute with this issue, please reach out here beforehand so we can discuss which option would be best.

[chirag-bgh]

hey! hey! @TomAFrench
i would like to work on this issue.

[TomAFrench]

Awesome! Thanks @chirag-bgh. I've had a little think about which option would be best and I think we should pass the ABI to the serialisation method rather than adding InputValue::Boolean. This would have the benefit of catching any booleans which are stored in arrays as well.

I'm going to assign this issue to you and feel free to reach out if you run into troubles.