Add ML-DSA polynomial arithmetic and hashing helpers

Add the base polynomial layer (NTT, Montgomery reduction, norm checks,
add/sub) and the SHAKE-based hashing helpers used throughout the ML-DSA
construction.