Made it so that the bounds checker doesn't dynamically allocator descriptors, and instead statically allocates them. One remaining TODO is to deal with left-over GPs happening in kernel code, even though that Granary is running under full-kernel mode. Currently having issues debugging this because the restore-interrupted-state isn't quite working, but the issue seems related to IRQ handlers. It could be that this is related to an IPI or a high-numbered interrupt vector, or something that granary interrupt vector instrumenter isn't handling.