CpuCore already does this sort of checking, so we can just call that instead of duplicating the assertions.