Add static assertion that uint32_t is unsigned int or wider

Summary:
This is a backport of secp256k1 PR818

Depends on D7632

Test Plan:

ninja check-secp256k1

Reviewers: #bitcoin_abc, Fabien

Reviewed By: #bitcoin_abc, Fabien

Differential Revision: https://reviews.bitcoinabc.org/D7635