Add check to prevent recursive unsized types

[edg-l]

mod foo {
    struct Foo {
        _: Foo,
    }

    #[intrinsic = "sizeof"]
    fn sizeof<T>() -> u64;

    pub fn main() -> i32 {
        sizeof::<Foo>();

        return 0;
    }
}

Currently overflows the stack