Open
Description
Type encoding can lead to performance problems and lead to types that we can not easily rule out to be non-empty.
It would be good to have an option --no-type-encoding that aborts stainless if type encoding needs to transform any function.