Missed removing parameter when converting func to method.
Allow changing of a block's terminator.

For now this just completely recomputes all of the summary data structures
for the associated control flow graph, which is expensive. Later we'll
fix this so that it only updates the entries for the affected blocks.