-Moved TransactionQueue to the BlockingObject class instead of children
-Added LockAndQueue to perform atomic lock-and-queue operation, which takes care of any remaining corner-case conerns
Improvements:
-Added kernel-panic codes for "impossible" locking scenarios
-Atomic lock-and-queue eliminates race conditions in kernel-object operations
-Refactored semaphore test to terminate more gracefully, re-enabled previously disabled tests
-Better docs for recently-added code