Static assertions for the new config system

[Timmmm]

Just a random thought (you probably thought of it already), but for the new config system it would be great if it supported global static asserts to check the configuration is correct, e.g.

assert(config vector.vlen >= config vector.elen)