[feature] do nothing codec
[internal] better error message for failed assert in `constant`
[doc] demo: bitcoin block binary format