Configuration model validation

[sprocter]

Configuration options should be validated so it's not possible to specify non-instantiable models.

[sprocter]

There are two aspects to this:

1. Simple stuff -- Validating rules that could be enforced / checked syntactically but aren't (for, eg, user experience reasons) (effort estimate3+)
2. More complex things -- Type checking. (effort estimate: 6+)