Better testing of valois field mutable matrix operations.

Incorporates the different kinds of GF that we currently allow:
Strategy=> null, "New", "Givaro", "CompleteGivaro".  This last one
fails to back off to a different implementation if p^n is too big,
and also fails if n is 1.