Yeah, absolutely. But the author's idea of logging all major business logic decisions (that users might question later) sounds reasonable.

Yes. I like the idea of assertions too. Log when an assertion fails. Then get notified to investigate.