Check alignment of loads when deciding whether it is safe to execute them