Refactor natspec

[lbeder]

• [x] Remove @param and @return values
• [x] Add explicit "Requirements" section for security and other non-trivial assumptions