update sablevm to 1.13 (closes: #524),