Audit and test that validation order is consistent

[jswrenn]

Our conversion methods should perform their runtime validation checks in a consistent order; e.g., checking alignment, then size, then bit validity. This ordering should be both internally consistent, and, ideally, SemVer stable.