fix some assertion failures and excessive chattiness in conic finding
Merge branch 'conic-fix'