We need the usual end-to-end tests. These should cover all of the BLS12-381 builtins, including the MSM functions.