Removed receiptverifier submodule (rel 910779)