Provide details when reporting invalid constraints (#3281)

This also shrinks the width of the error messages a bit because now that
we use 'package:' URLs the stacks are a bit narrower.