Incremental Certificates and Checkers for Abstraction-Carrying Code