[fpv/tcl] Clean up VC Formal script
[fpv/tcl] Clean up VC Formal script

There are some whitespace and empty lines in the fpv_vcf.tcl script.
This PR cleans up all the minor format issues.

Signed-off-by: Cindy Chen <399ad771a111eac8923348b1e2af093034e5d4f1@google.com>

lowRISC/opentitan,lowRISC/opentitan,lowRISC/opentitan,lowRISC/opentitan,lowRISC/opentitan,lowRISC/opentitan