Fix priority comparisons in compilation, and use compiled constraints

for bid selection
Merge branch 'master' of github.com:eseidel/saycbridge