Test everything that shouldn't be valid without a higher-than-specified limit.

- x= that limit {default, max supported (if different), lower than default (TODO: if allowed)}

One file for each limit name.

TODO: implement
TODO: Also test that "alignment" limits require a power of 2.
