Remove 'optional' in TC-4 Samples
Type checking is optional, invoked by --types-compute. -> Type checking is invoked by --types-compute.
Because now that the final stage of Front End is TC-L for this year, it is necessary to have the types.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information