VerifiedSemigroup, VerifiedMonoid for List

* No unification failure for VerifiedSemigroup anymore

* Add VerifiedMonoid (List a) instance

Note that the instances need definitions from further down in the file
and are thus moved closer to the end of the file.
Merge pull request #1694 from reynir/verified-list

VerifiedSemigroup, VerifiedMonoid for List