Asserts for valid alignment; update documentation