Added NonZero

[Soupstraw]

Description

This PR adds the NonZero module and gets rid of unsafe division (or at least makes the error explicit).

closes #4696

Checklist

• Commits in meaningful sequence and with useful messages
• Tests added or updated when needed
• CHANGELOG.md files updated for packages with externally visible changes
  
  New section is never added with the code changes. (See RELEASING.md)
• Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
  versioning process.
• Version bounds in .cabal files updated when necessary
  
  If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
• Code formatted (use scripts/fourmolize.sh)
• Cabal files formatted (use scripts/cabal-format.sh)
• hie.yaml updated (use scripts/gen-hie.sh)
• Self-reviewed the diff

[lehins]

I understand you have good intentions, but this PR instead of introducing a simplification, as was intended by #4696, makes all those places where %? was suppose to be used even more complicated.
Please, go through my suggestions and I'll review the PR again.

Don't get me wrong, I really do like the NonZero interface that you implemented in this PR, except this interface needs to be used only in places where we can guarantee a non zero value! securityParameter is a perfect example of such use case, because we can guarantee that it is non-zero. NOpt will be another, but only once we change its serialization, not before.

[lehins]

Beautiful!
Thank you!