start tagging releases again

[jakkdl]

#321 intended to move changelog/version checks to pre-commit, but it also removed tagging releases.. without reintroducing that anywhere else.

shoutout to @A5rocks for noticing

We could perhaps do the tagging in pre-commit as well, but that would require contributors to remember to push with --tag.

We could go back and "manually" create tags for all past releases since #321, but I'm not sure there's much reason to? But if it's to be done it should be done now before we start to create new tags

[A5rocks]

But if it's to be done it should be done now before we start to create new tags

Not necessarily, lightweight tags (not the ones GitHub makes for you) get marked as created at the same time as the commit they tag.

[Zac-HD]

I think it's worth keeping the check_release job, so that we get feedback on this before merging? Otherwise LGTM

[jakkdl]

I think it's worth keeping the check_release job, so that we get feedback on this before merging? Otherwise LGTM

this check is also in pre-commit, so we're fully duplicating the same test in two places without any benefit.