Backpack does not support -ddump-tc-trace

While working on !6164 (closed) I have needed to debug the typechecker in backpack specific scenarios, and it has been a bit of a nightmare because there is no way to enable -ddump-tc-trace when compiling .bkp files using --backpack.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information