Delete PROOF_CATALOG_DOGFOOD_CASE_STUDY.md

Author: buger