Docs: Control the specs generated seperately from logic.LogicVersion

[jannotti]

This will keep the generated specs on v7 even if logic.LogicVersion goes to 8.

[codecov]

Codecov Report

Merging #4361 (344f9ed) into master (38420a4) will increase coverage by 0.02%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #4361      +/-   ##
==========================================
+ Coverage   55.24%   55.26%   +0.02%     
==========================================
  Files         395      395              
  Lines       50352    50352              
==========================================
+ Hits        27816    27828      +12     
+ Misses      20144    20138       -6     
+ Partials     2392     2386       -6     

Impacted Files	Coverage Δ
agreement/cryptoVerifier.go	67.60% <0.00%> (-2.12%)	⬇️
agreement/proposalManager.go	96.07% <0.00%> (-1.97%)	⬇️
ledger/tracker.go	76.49% <0.00%> (-0.86%)	⬇️
catchup/service.go	68.64% <0.00%> (-0.75%)	⬇️
ledger/acctupdates.go	69.92% <0.00%> (-0.61%)	⬇️
network/wsNetwork.go	64.89% <0.00%> (+0.19%)	⬆️
cmd/tealdbg/debugger.go	73.49% <0.00%> (+0.80%)	⬆️
catchup/peerSelector.go	100.00% <0.00%> (+1.04%)	⬆️
util/db/dbutil.go	50.30% <0.00%> (+1.21%)	⬆️
crypto/merkletrie/node.go	93.48% <0.00%> (+1.86%)	⬆️
... and 3 more

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more