Turn on gcc's uint128 types if we have a new enough version
Update some benchmarks
Update todo list