user_mem_check/assert now also check for alignment