feat(kani): add proofs for verify_add_used and notifications

Signed-off-by: Siddharth Priya <[email protected]>

Author: priyasiddharth