I think there is an interesting issue with respect to validation of field elements. Specifically, whenever we see a field element which fits within 256bits we are happy. But, in fact, it should be within 254 bits. It would be useful to sanity check this.