Verilator 5.054 发布，拆分分支覆盖率选项并扩展约束与 SVA 支持

Verilator 5.054 发布，将 `--coverage-branch` 从 `--coverage-line` 中拆出，此前使用 `--coverage-line` 的用户可能需要补加该选项。