Make 'simple_spend_no_datum' acceptance test more to-the-point

  This new acceptance test is really meant to check for the behavior surrounding the optional datum. So I've added an extra expect on the received datum, and kept only assertions that were about or related to the datum.

examples/acceptance_tests/script_context/v3/validators/simple_spend_no_datum.ak

@@ -1,33 +1,19 @@
 use aiken/collection/dict
 use cardano/address.{Address, Script}
 use cardano/assets
-use cardano/transaction.{
- Input, NoDatum, Output, OutputReference, ScriptPurpose, Spend, Transaction,
-}
+use cardano/transaction.{Input, NoDatum, Output, OutputReference, Transaction}
 
 validator simple_spend {
  spend(
- _datum: Option<Void>,
+ datum: Option<Void>,
  _redeemer: Void,
- output_ref: OutputReference,
+ _output_ref: OutputReference,
  transaction: Transaction,
  ) {
- assert_transaction_id(transaction.id)
-
- assert_script_info(output_ref)
+ expect None = datum
 
  assert_inputs(transaction.inputs)
 
- expect [] = transaction.outputs
-
- expect [] = transaction.reference_inputs
-
- expect [] = transaction.extra_signatories
-
- expect 42 == transaction.fee
-
- assert_redeemers(transaction.redeemers)
-
  expect [] == dict.to_pairs(transaction.datums)
 
  True
@@ -38,21 +24,6 @@ validator simple_spend {
  }
 }
 
-fn assert_transaction_id(id: ByteArray) {
- expect
- #"c6fbd346681a8f8337f6b3e51e6ec973f1509367eabc3a44c849af58a1d8471b" == id
- Void
-}
-
-fn assert_script_info(info: OutputReference) {
- expect
- OutputReference {
- transaction_id: #"0000000000000000000000000000000000000000000000000000000000000000",
- output_index: 0,
- } == info
- Void
-}
-
 fn assert_inputs(inputs: List<Input>) {
  expect [
  Input {
@@ -76,24 +47,3 @@ fn assert_inputs(inputs: List<Input>) {
 
  Void
 }
-
-fn assert_redeemers(redeemers: Pairs<ScriptPurpose, Data>) {
- expect
- [
- Pair(
- Spend(
- OutputReference {
- transaction_id: #"0000000000000000000000000000000000000000000000000000000000000000",
- output_index: 0,
- },
- ),
- void(),
- ),
- ] == redeemers
- Void
-}
-
-fn void() -> Data {
- let void: Data = Void
- void
-}