upgrade asimov, port tests to new format