refactor: suppress unused warnings
refactor: do not use opensmt/proof
refactor: remove debug messages