Remove erroneous alignment assumptions
Add debug checks for alignment assumptions