Circuit spec: drop redundant spec
add Circuit#largest_function
add Circuit#adm_size
add CircuitSizer#adm_size