verify tests if os_malloc returns addresses with highest 4 bits set to 0