Adding non-existence proofs for directory lookup#475

kevinlewi wants to merge 1 commit intofacebook:mainfacebook/akd:mainfrom

kevinlewi:add_nonexistence_proofskevinlewi/akd:add_nonexistence_proofsCopy head branch name to clipboard