lasmicon: update test benches
lasmicon/bankmachine: remove stale import