- Tweaks to benchmark.py, output stats sorted by name
- xor primitive now inlined
- Exec time now more accurately measured