attempt to prove a couple more sanity tests on directory assertions

but it looks like t12 and t13 are false