Add a chapter "CSSP at the limits"

[TProver]

focus on examples showing:

• memory exhaustion (too much memory reserved for the program)
• wrong value for output assignment
• too long computation - missing handshake between microcontrolers