adding matchable options disable_on_match and disable_on_prompt, removing weakrefs from sage deferred list