Add a -regalloc=default option that chooses a register allocator based on the -O