FMA semantics are wrong
As is FMA (a,b,c) = a + (b * c) which ideally should be FMA (a,b,c) = a * b + c for now this can be fixed by flipping arguments when generating certificates, but there should be a cleaner solution, that changes the semantics on the FloVer side