fix u3 matrix implementation

[hushaohan]

the upper right element should contain a minus sign, which was missing from u3.h but is present in the u3 implementation in src/python/verifier/gates.py