[fri] Support FRI configuration using the FRI conjecture

[jimpo]

We want the ability to optionally configure the number of FRI opening queries so that it achieves the target security level assuming the FRI conjecture (see 2022/1216, section 3.6).

We can add a boolean parameter to fri::calculate_n_test_queries called fri_conjecture: bool. The method documentation should describe this with a link to the resource above. This parameter will have to be propagated all the way up to the binius_core::constraint_system module.

For code cleanliness, it would be good to wrap the log_inv_rate, security_bits, and fri_conjecture parameters to binius_core::constraint_sytem into a Params struct.

The conjecture should not be assumed by default.

[roynalnaruto]

@jimpo I have attempted to address the above issue, an initial pass of review would be quite helpful :)