When a user imports a solution into masa, we should also automatically generate a new verification test to check it is functioning.