Write up Crosslink 2

[daira]

Add this to Potential Changes to Crosslink.

Basically the idea is to replace the Increasing Score rule in Crosslink with:

Linearity rule: $\mathsf{snapshot}(B \lceil{\mathrm{bft}}^1) \preceq{\mathrm{bc}} \mathsf{snapshot}(B)$.

This is at least as safe because the Linearity rule implies the Increasing Score rule. It has many consquences!

• Sanitization is not required.
• The rule for honest bc-block production needs to be modified to be consistent with this rule.
• The liveness analysis has to be redone.