feat(kani): add proofs for verify_add_used and others

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

Author: priyasiddharth