Update far pointer implementation to match spec.  Also adjust the spec slightly so that you can tell whether a far pointer is a double-far before you dereference it.
Tweak benchmark runner output.