Checks that the supplied dimensions are within an acceptable range, in particular do not result in a tensor that is too large (meaning that the syten::Index type would no longer suffice to index into it).
References SYTEN_ASSERT_MSG.