reimplement Circuit#largest_function in terms of Arch#<=>
add Function#==