Make python run faster

[RobinJadoul]

This avoids building up an entire string of bits, in favor of just checking that the first 8 bytes (in big endian order) are less than 2^(64 - difficulty).
This of course breaks for difficulty >= 64, but that seems like a rather unlikely choice of PoW difficulty anyway :)