feat(share/byzantine): handle additional cases in befp validation

[vgonkivs]

Overview

Extend a BEFP validation.
Related to #2377

Checklist

• New and updated code has appropriate documentation
• New and updated code has new and/or updated testing
• Required CI checks are passing
• Visual proof for any user facing features like CLI or documentation updates
• Linked issues closed with keywords

[codecov-commenter]

Codecov Report

Merging #2383 (b7a7ca0) into main (403eb61) will increase coverage by 0.20%.
The diff coverage is 54.43%.

@@            Coverage Diff             @@
##             main    #2383      +/-   ##
==========================================
+ Coverage   50.44%   50.64%   +0.20%     
==========================================
  Files         155      156       +1     
  Lines        9826     9876      +50     
==========================================
+ Hits         4957     5002      +45     
+ Misses       4433     4432       -1     
- Partials      436      442       +6     

Impacted Files	Coverage Δ
nodebuilder/node.go	58.57% <ø> (ø)
share/eds/byzantine/bad_encoding.go	34.40% <35.00%> (+1.37%)	⬆️
libs/pidstore/pidstore.go	60.00% <60.00%> (ø)
cmd/celestia/rpc.go	16.16% <62.06%> (+6.16%)	⬆️

... and 4 files with indirect coverage changes

[Wondertan]

Actually, I just realized that this is only the verification part. We have to triple-check that the generation works for these cases.

[vgonkivs]

These cases are possible with out-of-order shares. But we can't generate them for now

[vgonkivs]

Moving this PR to draft until we can test these conditions

[adlerjohn]

only one non-non-blocking comment