feat: implementing short namespace absence proof generation

[staheri14]

Problem

We currently have the necessary logic to verify short absence proofs (see #210), yet the proof generation counterpart does not exist in the nmt library. This issue is to track the progress on the implementation of the proof generation component.