Wrong use of selector columns breaks proofs

[ayashunsky]

Using a selector column (var::column_type::selector) in a polynomial constraint directly (i.e. as a normal variable) makes proof-generator create a proof that does not pass verification. This situation is not detected by blueprint, where is_satisfied check passes successfully. Please test.