Fix get_addresses to return array of addresses

[tluthra]

For all the script types, get_addresses returns an array, except for the case where it is_witness_v0_keyhash? or it is_witness_v0_scripthash?. This fixes the contract so this won't error out when iterating over addresses, and adds a spec to prevent regressions.