gui: Put symbols/insns in a paned (so that it's resizeable)
symbols: Add isAllocated() and isWriteable()
gui: Add rwxa mode for symbols and display that