Sync halo2 lib 0.4.0 merging #708

Job	Run time
Bitrot check	1m 42s
Build target wasm32-unknown-unknown	53s
Test on ubuntu-latest with basic features	11m 18s
Build target wasm32-wasi	50s
Intra-doc links	42s
Test on windows-latest with basic features	14m 43s
Rustfmt	11s
Test on macOS-latest with basic features	20m 43s
Test on ubuntu-latest with all features	11m 53s
Test on windows-latest with all features	15m 15s
Test on macOS-latest with all features	17m 20s
	1h 35m 30s

Provide feedback