Added supervisor/user mode support and a test for it, everything works as intended. Still need to write the unit test for branch-if-CO.