Support exporting trait default fns using a fn without a block #183

Job	Run time
collect-examples	15s
test-example (cross_contract/contract_a)	1m 41s
test-example (increment_with_fuzz)	1m 36s
test-example (cross_contract/contract_b)	1m 37s
test-example (custom_types)	1m 14s
test-example (bls_signature)	1m 7s
test-example (deployer/deployer)	1m 29s
test-example (increment)	1m 4s
test-example (atomic_multiswap)	1m 39s
test-example (increment_with_pause)	1m 18s
test-example (multisig_1_of_n_account/contract)	1m 6s
test-example (events)	1m 16s
test-example (mint-lock)	1m 14s
test-example (pause)	1m 20s
test-example (deployer/contract)	1m 23s
test-example (fuzzing)	1m 35s
test-example (import_ark_bn254)	1m 31s
test-example (deep_contract_auth)	1m 24s
test-example (merkle_distribution)	1m 22s
test-example (simple_account)	1m 17s
test-example (token)	1m 17s
test-example (auth)	1m 21s
test-example (atomic_swap)	1m 25s
test-example (single_offer)	1m 17s
test-example (timelock)	1m 30s
test-example (alloc)	1m 22s
test-example (liquidity_pool)	1m 27s
test-example (upgradeable_contract/new_contract)	1m 26s
test-example (hello_world)	1m 14s
test-example (logging)	1m 18s
test-example (eth_abi)	1m 32s
test-example (other_custom_types)	1m 25s
test-example (ttl)	1m 7s
test-example (groth16_verifier)	1m 24s
test-example (account)	1m 27s
test-example (upgradeable_contract/old_contract)	1m 32s
test-example (errors)	1m 18s
	49m 50s

Provide feedback