Make o1js fork? to prevent making invalid zkapps

[L-as]

E.g. we don't support network preconditions, so we could make a fork where we simply remove those parts of o1js. There are maybe better ways of doing this?