Update version in docs and tests

examples/announcement.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 /* This is a contract showcasing covenants outside of regular transactional use.
  * It enforces the contract to make an "announcement" on Memo.cash, and send the

examples/hodl_vault.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 // This contract forces HODLing until a certain price target has been reached
 // A minimum block is provided to ensure that oracle price entries from before this block are disregarded

examples/mecenas.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 /* This is an unofficial CashScript port of Licho's Mecenas contract. It is
  * not compatible with Licho's EC plugin, but rather meant as a demonstration

examples/mecenas_locktime.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 // This is an experimental contract for a more "streaming" Mecenas experience
 // Completely untested, just a concept

examples/p2pkh.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 contract P2PKH(bytes20 pkh) {
     // Require pk to match stored pkh and signature to match

examples/transfer_with_timeout.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 contract TransferWithTimeout(
     pubkey sender,

packages/cashc/test/compiler/FinalRequireStatementError/final_assign.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract TransferWithTimeout(
     pubkey sender,

packages/cashc/test/compiler/FinalRequireStatementError/final_assign_deeply_nested.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract TransferWithTimeout(
     pubkey sender,

packages/cashc/test/compiler/FinalRequireStatementError/final_assign_nested.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract TransferWithTimeout(
     pubkey sender,

packages/cashc/test/compiler/FinalRequireStatementError/final_assign_nested_else.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract TransferWithTimeout(
     pubkey sender,

packages/cashc/test/compiler/InvalidParameterTypeError/implicit_cast_to_sig.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract P2PKH(bytes20 pkh) {
     function spend(pubkey pk, bytes65 s) {

packages/cashc/test/compiler/InvalidParameterTypeError/locking_bytecode_nulldata_string.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract P2PKH() {
     function spend() {

packages/cashc/test/compiler/InvalidParameterTypeError/locking_bytecode_p2pkh_bytes32.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract P2PKH(bytes20 pkh) {
     function spend(pubkey pk, sig s) {

packages/cashc/test/compiler/ParseError/full_iso_date.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract Test() {
     function test() {

packages/cashc/test/compiler/ParseError/invalid_date.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract Test() {
     function test() {

packages/cashc/test/compiler/ParseError/non_existent_date.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract Test() {
     function test() {

packages/cashc/test/compiler/UnusedVariableError/final_variable_definition.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract TransferWithTimeout(
     pubkey sender,

packages/cashc/test/compiler/VersionError/out_of_range_1.cash

@@ -1,4 +1,4 @@
-pragma cashscript >=0.9.0 <0.10.0;
+pragma cashscript >=0.10.0 <0.11.0;
 
 contract Test() {
     function hello(sig s, pubkey pk) {

packages/cashc/test/valid-contract-files/announcement.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 /* This is a contract showcasing covenants outside of regular transactional use.
  * It enforces the contract to make an "announcement" on Memo.cash, and send the

packages/cashc/test/valid-contract-files/correct_pragma.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract Test() {
     function hello(sig s, pubkey pk) {

packages/cashc/test/valid-contract-files/date_literal.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract Test() {
     function test() {

packages/cashc/test/valid-contract-files/deeply_nested.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract TransferWithTimeout(
     pubkey sender,

packages/cashc/test/valid-contract-files/p2pkh_with_assignment.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract P2PKH(bytes20 pkh) {
     function spend(pubkey pk, sig s) {

packages/cashc/test/valid-contract-files/p2pkh_with_cast.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 contract P2PKH(bytes20 pkh) {
     function spend(pubkey pk, bytes65 s) {

packages/cashscript/test/fixture/announcement.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 /* This is a contract showcasing covenants outside of regular transactional use.
  * It enforces the contract to make an "announcement" on Memo.cash, and send the

packages/cashscript/test/fixture/mecenas.cash

@@ -1,4 +1,4 @@
-pragma cashscript ^0.8.0;
+pragma cashscript >=0.8.0;
 
 /* This is an unofficial CashScript port of Licho's Mecenas contract. It is
  * not compatible with Licho's EC plugin, but rather meant as a demonstration

website/docs/basics/getting-started.md

@@ -24,7 +24,7 @@ CashScript only offers a JavaScript SDK, but CashScript contracts can be integra
 There are some examples available on the [Examples page](/docs/language/examples), that can be used to take inspiration from. Further examples of the JavaScript integration can be found on [GitHub](https://github.com/Bitcoin-com/cashscript/tree/master/examples). A simple example is included below.
 
 ```solidity
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 contract TransferWithTimeout(pubkey sender, pubkey recipient, int timeout) {
     // Allow the recipient to claim their received money

website/docs/language/contracts.md

@@ -13,7 +13,7 @@ The pragma directive follows regular [semantic versioning rules](https://semver.
 
 #### Example
 ```solidity
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 pragma cashscript >= 0.4.0 < 0.5.4;
 ```
 
@@ -22,7 +22,7 @@ A CashScript constructor works slightly differently than what you might be used
 
 #### Example
 ```solidity
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 contract HTLC(pubkey sender, pubkey recipient, int expiration, bytes32 hash) {
     ...
@@ -38,7 +38,7 @@ The main construct in a CashScript contract is the function. A contract can cont
 
 #### Example
 ```solidity
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 contract TransferWithTimeout(pubkey sender, pubkey recipient, int timeout) {
     function transfer(sig recipientSig) {
@@ -63,7 +63,7 @@ The most important statement of CashScript contracts is the `require` statement.
 
 #### Example
 ```solidity
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 contract P2PKH(bytes20 pkh) {
     function spend(pubkey pk, sig s) {
@@ -105,7 +105,7 @@ There is no implicit type conversion from non-boolean to boolean types. So `if (
 
 #### Example
 ```solidity
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 contract OneOfTwo(bytes20 pkh1, bytes32 hash1, bytes20 pkh2, bytes32 hash2) {
     function spend(pubkey pk, sig s, bytes message) {

website/docs/language/examples.md

@@ -10,7 +10,7 @@ One interesting use case of Bitcoin Cash is using it for *paper tips*. With pape
 As an alternative, a smart contract can be used for these kinds of gifts. This smart contract allows the recipient to claim their gift at any time, but if they don't claim it in time, the sender can reclaim it.
 
 ```solidity
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 contract TransferWithTimeout(pubkey sender, pubkey recipient, int timeout) {
     // Require recipient's signature to match
@@ -34,7 +34,7 @@ This smart contract works by connecting with a price oracle. This price oracle i
 This involves some degree of trust in the price oracle, but since the oracle produces price data for everyone to use, their incentive to attack *your* smart contract is minimised. To improve this situation, you can also choose to connect with multiple oracle providers so you do not have to trust a single party.
 
 ```solidity
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 // A minimum block is provided to ensure that oracle price entries from before
 // this block are disregarded. i.e. when the BCH price was $1000 in the past,

website/docs/sdk/examples.md

@@ -54,7 +54,7 @@ This contract expects a hardcoded transaction fee of 1000 satoshis. This is nece
 To ensure that this leftover money does not get lost in the contract, the contract performs an extra check, and adds the remainder to the transaction fee if it's too low.
 
 ```solidity title="Announcement.cash"
-pragma cashscript ^0.8.0;
+pragma cashscript ^0.9.0;
 
 // This contract enforces making an announcement on Memo.cash and sending the
 // remaining balance back to the contract.