Revert "Make ifs and asserts tail-recursive"

This reverts commit 273322c7732093a354e86df82cf75d6604b8bce8.