* Encode count of exported blocks correctly
There was a type mismatch: import used u32, export
used Number.
* Wait for import to finish
The issue was that even though the import thread
was still running, the main thread exited.
* Remove superfluous parentheses
* Improve structure, add proofs for expects
* Unify types for export/import length