Add optimized binary extended gcd algorithm

[unseddd]

Optimized to use cheap shifts and adds rather than multiplications and divisions for finding the greated common divisor and Bezout coefficients.

[unseddd]

Much appreciation to @cuviper for their help/discussion about the impl on Zulip.