Optimize release binary: 52MB → 16MB with strip, LTO, codegen-units=1… #18

Job	Run time
Web UI Gates	3m 53s
Build (x86_64-pc-windows-msvc)	12m 33s
Build (x86_64-apple-darwin)	8m 23s
Build (aarch64-apple-darwin)	3m 21s
Build (x86_64-unknown-linux-gnu)	6m 15s
Publish GitHub release (tags only)	10s
Publish to public repo (tags only)	6s
	34m 41s

Provide feedback