refactor window post planner / 重构 window post planner

### 描述 / Description

当前版本 window post 计算 vanilla_proofs 和计算 snark_proof 是放在一起的，其中计算 vanilla_proofs 需要读取磁盘数据， 计算 snark_proof 不需要读取。所以可以将计算 vanilla_proofs 和计算 snark_proof 分成两个阶段，这样计算 snark_proof 可以彻底外包给任意的 worker 计算。