graypaper 0.8 audit complete

SRLabs and Trail of Bits have recently completed their audit of version 0.8 of the graypaper, with their findings here and here respectively.

There were no major issues found, accordingly once all the findings are addressed v0.8.1 will be released, which should be in the near future.

Further changes to PolkaVM will kept back for v0.9, whereafter there will a final audit before the v1.0 release.