Simpler 4844 prove method

[kevaundray]

Previously I was against changing the 4844 code due to it already been auditted, however the code has changed quite a lot since we added 7594 methods, so it may be feasible to change that code given it will likely need to be auditted again.

[kevaundray]

Testing the difference:

BenchmarkOpenMonomial-10    	     100	  10691245 ns/op	  406979 B/op	     180 allocs/op
BenchmarkOpenLagrange-10    	     124	  10653541 ns/op	  799451 B/op	     163 allocs/op

Lagrange is what we currently do and monomial is the change proposed. The difference here is 10.69 vs 10.65 milliseconds

[kevaundray]

Strangely open monomial uses ~49% less memory

[kevaundray]

Higher level benchmarks have been collected in #97, #98, #99