Improve Invalid Base Address check

[ravi688]

u64* values = checked_array(u64, 5, 1, 2, 3, 4, 5);
for(int i = 0; i < 4; i++)
{
	printf("Value[%u]: %u\n", i, checked_ref(u64, values + 1, i));
}

(values + 1) is still a valid base address, however, it is not registered in the internal allocation list.