improve static assertions on user-specified alignment