Resolve algebraic type refs recursively for view type check (#3876)

# Description of Changes

Resolves algebraic type refs recursively in order to check the product
type of a query builder view.

This should fix the issue reported
[here](https://discord.com/channels/1037340874172014652/1448796556366057513).
However I've so far been unsuccessful in trying repro it.

Also adds further commentary to `Typespace::resolve` to make it clear
that it is not recursive.

# API and ABI breaking changes

None

# Expected complexity level and risk

0

# Testing

TODO. So far I haven't been able to repro with a smoketest

Author: joshua-spacetime

crates/core/src/host/wasm_common/module_host_actor.rs

@@ -1058,8 +1058,7 @@ impl InstanceCommon {
                     let typespace = self.info.module_def.typespace();
                     let row_product_type = typespace
                         .resolve(row_type)
-                        .ty()
-                        .clone()
+                        .resolve_refs()?
                         .into_product()
                         .map_err(|_| anyhow!("Error resolving row type for view"))?;
 

crates/sats/src/typespace.rs

@@ -116,6 +116,9 @@ impl Typespace {
     /// Returns the `AlgebraicType` that `r` resolves to in the context of the `Typespace`.
     ///
     /// Panics if `r` is not known by the `Typespace`.
+    ///
+    /// Note, this is not recursive.
+    /// To resolve all nested refs, call `resolve_refs()` on the result.
     pub fn resolve(&self, r: AlgebraicTypeRef) -> WithTypespace<'_, AlgebraicType> {
         self.with_type(&self[r])
     }