user_guide: Move addModFinalizer mention to 8.0.2 release notes
user_guide: Move addModFinalizer mention to 8.0.2 release notes

(cherry picked from commit 4e1e7f2b2b3e352bd772339480b67f7c02ba9061)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc