По 1 вопросу. Утверждение, что одна толстая проверка более управляема, чем сотня мелких, но грамотно запускаемых, мягко говоря, не очевидно. В приведенном условии зависимости по большей части локальны в том смысле, что _по условию_ от каждого изменения поползет конечное количество веток дальнейших изменений. Но расползаемость веток по тому же условию такова, что суммарная проверка крайне хреново линеаризуется (потрогали вот тут - поменялось там и здесь; по изменению "там" надо поменять еще вон там...). Зато хорошо ложится на модель триггера на изменение.

По 5 вопросу. Ага, "юзер обожает терпеть мелкие неудобства" (c) Витус Вагнер. Заложить в программу заметные человеку тормоза - это заложить в программу резкое снижение эффективности его работы. Если наша программа предназначена для имитации бурной деятельности - тогда, несомненно, вариант б), кто б сомневался...