test(medusa): propose related tests (#60)

# 🤖 Linear

Closes GRT-XXX

---------

Co-authored-by: drgorillamd <[email protected]>

test/invariants/properties/PropertyParent.t.sol

@@ -4,8 +4,9 @@ pragma solidity 0.8.26;
 import {PropertyDispute} from './PropertyDispute.t.sol';
 
 import {PropertyFinalize} from './PropertyFinalize.t.sol';
+import {PropertyPropose} from './PropertyPropose.t.sol';
 import {PropertyRequester} from './PropertyRequester.t.sol';
 
-contract PropertyParent is PropertyRequester, PropertyDispute, PropertyFinalize {
+contract PropertyParent is PropertyRequester, PropertyPropose, PropertyDispute, PropertyFinalize {
 // | 11  | bonded token can never be used on behalf of someone else, unless allowed by the Horizon staking contract                              |      | [ ]    |
 }

test/invariants/properties/PropertyPropose.t.sol

@@ -0,0 +1,18 @@
+// SPDX-License-Identifier: MIT
+pragma solidity 0.8.26;
+
+import {IEBORequestModule, IOracle} from '../Setup.t.sol';
+import {HandlerParent} from '../handlers/HandlerParent.t.sol';
+
+contract PropertyPropose is HandlerParent {
+  /// @custom:property-id
+  /// @custom:property
+  function property_proposeBeforeDeadlineAndNoAnswer(uint256 _requestIdSeed, uint256 _responseIdSeed) public {
+    // Pick random Response
+    bytes32 _requestId = _getRandomRequestId(_requestIdSeed);
+    IOracle.Request memory _requestData = _ghost_requestData[_requestId];
+
+    // Stake some GRT in Horizon
+    _stakeGRT(DISPUTE_BOND_SIZE);
+  }
+}