Scheduler should also use `register_handler`, it'll be more uniform.
Add a sanity check for `allocator`'s type.

We want it to always be `new`/`delete`able, don't we?
A bit naive and not yet tested `utils::priority_list`.