scilla_v0.10.0

Language and Interpreter

Remote state reads and address types (#967)
Add builtins substr and concat for ByStr and to_bystrx to convert to fixed length byte strings (#906)
Conversion builtins for ByStrX to UIntX (#907)
Add reversal builtin for strings and byte strings (#910)
Add uint to bystrx conversion builtin (#912)
Allow empty byte strings (#914)
Polynetwork support (#908)
Add builtin to recover public key from a message and it's ECDSA signature (#918)
Provide builtin to reinterpret ascii byte strings as strings (#919)
Add support for _origin implicit transition parameter (#921)
Provide a state reinitialization feature (#875)
Type args for builtins (#940)
Remove support for tzil bech32 address (#939)

IPC test output types should be taken from the IPC state, not from the gold state (#903)
Unexpected map keys not printed when using IPC test server (#904)
Added positive tests for exponential gas charges (#924)
Test state revert functionality by extending map_corners_test (#975)
Add addfunds tests for unittesting from blockchain code (#978)

Run recursion checks for pure expression checking (#909)
Use DataTypeDictionary to keep track of ADTs in scope during recursion check (#911)
Only recursion check each library once (#916)
Name disambiguation (#905)
Typecheck incoming messages (#951)
Shadowing of imported names is allowed (#970)
Fix parsing of integers with leading 0s (#982)