Add 4844 soundness tests (#1210)

* Add assign_rows and assign_internal_checks methods

* Remove unused arguments

* fix rebase

* Add overwrite tests for BlobDataConfig exports

* Add chunk_idx soundness test and additional constraints

* Constraint is_boundary and is_padding to be boolean on all active rows

* Add additional overwrite tests

* Fix chunk_idx test

* Remove digest rlc row from overwrite tests

* fix rebase

* fix copy paste error

* constrain preimage_rlc in metadata section

* fix overwrite digest rlc test

* remove un-needed product

---------

Co-authored-by: Mason Liang <mason@scroll.io>

Author: z2trillion