Gravar-mail: State-space reduction and equivalence class sampling for a molecular self-assembly model