Branch encodings, tests. Large-memory version of qemu.