Add Detailed Error Handling for Invalid Struct Type Usage

[MartinMinkov]

Summary

This PR addresses an issue with the check() method in circuit classes extending Struct.

Changes

• Add a runtime check for check which checks if we are running on a Struct and throw an error if so

Test Case

import { Struct, Bool, Field } from 'o1js';

class WrappedStruct extends Struct({
  wrappedA: Struct,
}) {}

class WrappedBool extends Struct({
  wrappedB: Bool,
}) {}

class WrappedStructGood extends Struct({
  wrappedA: WrappedBool,
}) {}

let notBool = new Bool(false);
notBool.value = new Field(2n).value; // set to a non-bool

let wrappedBool = new WrappedBool({
  wrappedB: notBool,
});
let wrappedWrappedBool = new WrappedStruct({
  wrappedA: wrappedBool,
});

let wrappedWrappedBoolGood = new WrappedStructGood({
  wrappedA: wrappedBool,
});

WrappedBool.check(wrappedBool); // should throw error correctly from check (invalid Bool)
WrappedStructGood.check(wrappedWrappedBoolGood); // should throw error correctly from check (invalid Bool)
WrappedStruct.check(wrappedWrappedBool); // should error here with thrown error (cannot use Struct here)