Use degree 5 minimum degree instead of 4 when trimming
Some more thoughts on projective EC (not compiled on by default)