Add proposal validation based on constraints

This obviously depends on the move of constraints to the model (at least, the barclamp-crowbar bit to not crash, and for the other barclamps to be useful).