Release v6.3.2
PR #261 by @hernloh: fix(fpv): fail loud on vacuous proofs with zero formal cells (#260)
Full changelog: v6.3.1...v6.3.2
PR #261 by @hernloh: fix(fpv): fail loud on vacuous proofs with zero formal cells (#260)
Full changelog: v6.3.1...v6.3.2