Allow const source buffers for EBufBlit#537

msprotz merged 2 commits into

masterFStarLang/karamel:masterfrom

_taramana_const_source_blitFStarLang/karamel:_taramana_const_source_blitCopy head branch name to clipboard