Update fmpz_mat_charpoly.
Fix "diagfrob" in the case of non-Teichmueller elements.
Reintroduce "congruence class" restriction for "m".