Remove network parameter from `satisfy` function

[GambolingPangolin]

We only need to pass in a network parameter here because the SatResult representation includes script literals. Would it be better to instead produce a higher level representation that can be serialized later using a Network value?