Make panics more descriptive with format strings

Now that panic_print accepts format strings, we can print more details
on a panic.
Change banner to const char

This moves it from data to rodata, but cuts the length of the data
section in half.