Optionally suppress uninit reports that come from loop headers

[Deian Stefan]

On longer block bounds, there are a number of reports related to unentered loops (that can never feasibly be unenetered).
Probably makes sense to just optionally ignore things that come from skipping loop headers (the LLVM has a %loop annotation we can use)