v0.8.0

[0.8.0] - 2021-03-22

Added

• proveDlog, box.creationInfo, Box.id, Coll.exists, SigmaProp.propBytes, Option.isDefined, Option.getOrElse IR nodes (evaluation, serialization) #209;
• Box.R0..R3 register access #213;
• - negation for numeric types evaluation and serialization #214;
• BigInt values support, arithmetic operations (+, -, *, /), - negation, Upcast #216;