Implemented cmpxchg8b with lots of help from Bernhard. Fixes #5.