break/cont outside loop is checked poorly

We have some code deep in trans calling `sess.bug` without a span when a `break` or `cont` happens outside of a loop. In general, I think trans shouldn't be doing error-checking, and this should be caught by an earlier pass and reported with a span.
