generalize preemption_time and priority-model compliance to any processor model

We've long had an accidental dependence on ideal uniprocessors in the priority-model compliance definitions since they depended on [preemption_time], which in turn simply destructured the ideal uniprocessor state. This is a very unfortunate limitation that is increasingly getting in the way. This patch series lifts it.

Closes: #76 (closed)