Bony: An automated approach towards automated generation of large combinational benchmark circuits