Fresh pass at displaying more detail during linting
Bump version to 4.5.0
Update GETTING_STARTED to better reflect linting behavior

Re: #707
corrected documentation about how to generate a global sequence
Readme: Use an SVG badge.

It will make badges have a common design. Also, it looks better on retina screens.
Replace map.flatten with flat_map
correct error message when stubbed reload called with transaction lock attr. Fixes #719
Merging new commits from main repo into my fork.
added new commits from master branch of original repo