rename 'solve_circ' to 'solve_circulant'; tweak 'solve_circulant' tests.
add a test with random coefficients
WIP: add solve_circulant_b, which has a different API.