add utility functions for debugging constraints
update for seed 7; update for margin change; don't use hard-coded assumptions about compression resistance value