Remove "after vasm-auto" trace

Summary: Seems too noisy.

Reviewed By: @edwinsmith

Differential Revision: D1554221
Introduce several vasm trace levels

Summary: Level 1 prints only initial vasm.  Level 2 will print initial only
vasm and vasm + x64 interleaved after we have that.  Other stuff is higher
levels.

Reviewed By: @edwinsmith

Differential Revision: D1554256
Analyze/optimize pseudomains in hhbbc

Summary: We need to have a pass that determines which static properties can be
modified by the program (including public ones), which means we need to see
possible changes to static properties in pseudomains.  The easiest way to do
this is to analyze psuedomains like anything else.  (This also should help with
more clearly seeing the differences in the repo stats when hphpc's inferTypes
and postOptimize are off, since most of the bytecode changes are currently in
pseudomains.)

Reviewed By: @alexmalyshev

Differential Revision: D1545270
Don't allow setting static properties via reflection in RepoAuthoritative mode.

Reviewed By: @markw65

Differential Revision: D1550898