Using Provengo's `halt` causes DeadlockException. It should be SafetyViolation.

[michbarsinai]

Halt code:

function halt( message ) {
    bthread(`__halt-${message}__`, function(){block(EventSets.all);});
    bp.ASSERT(false, message);
}