Added profile make target.
Nicknames now go by int instead of string.
Updated readme; performance improvements, and added checks for circuits with cycles.