tweak directory assertions

in particular, ensuring they only admit well-formed forests