Make unverified register allocator print function names

[tanyongkiam]

This should involve modify unverified/reg_alloc/reg_alloc.sml (and files that use it) to print the relevant names instead of the function index.

Suggested by @myreen