sl/fixed_point_rewrite: introduce MultiRewriter class
sl/fixed_point_proxy: suggest CFG rewrites inline

Suggested by Marek Trtik.
sl/fixed_point_proxy: skip intermediate results

... for CFG consisting of more than 16 nodes (to improve readability)