Add constraint on `m`

[enricobottazzi]

https://github.com/enricobottazzi/zk-fhe/blob/master/examples/bfv.rs#L196-L202

Logic should be similar to check_poly_from_distribution_chi_error