Doc: Add "panic" operation and the "ticktock" paradox proof type.