Delete some old specs and proofs; committing to treeseq/dirsep plan.
Delete some old specs and proofs; committing to treeseq/dirsep plan.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl