[ECC] Cost enhancements

[mpharrigan]

• sundry improvements to the cost expressions, including better comments on where they're from
• example using the real 256 bit modulus, which reveals a problem with ModAdd(?)
• fixes for places where a symbolic value gets passed but the decomposition doesn't account for it

@NoureldinYosri can you take a look