We need some tests, including [property tests](https://github.com/IntersectMBO/plutus/blob/master/plutus-core/untyped-plutus-core/testlib/Evaluation/Builtins/BLS12_381.hs) for the two BLS MSM functions.
