Asterisc & Kona Documentation

[pauldowman]

There is a second fault proof system under development:

• Asterisc, a new fault proof VM which is equivalent to Cannon
• Kona, a new fault proof program which is equivalent to op-program

These will need documentation.

[sbvegan]

@pauldowman initially should these go under the experimental section or directly into the OP Stack fault proof system?

[pauldowman]

Good question. I think experimental.