Store coefficients in UFL state and thereby remove all Python AST analysis

[kynan]

Remember accessed and written back fields in state and form arguments and resulting coefficients in solves. Combined with storing coefficients (as opposed to elements), this allows removing all Python AST analysis and backtracking.