Property tests for the following functionalities: - `fft_mul` - `get_coeff_from_roots` - `get_poly_commitment_g1`