Revert "Passes priority-sema. Added thread_yield to sema_up"

This reverts commit 2b56c6478034210892b94e60e5a6c0d6329a2569.