Request for review: 7196080: assert(max_heap >= InitialHeapSize) in arguments.cpp

[Tao Mao]

7196080: assert(max_heap >= InitialHeapSize) in arguments.cpp
https://jbs.oracle.com/bugs/browse/JDK-7196080

webrev:
http://cr.openjdk.java.net/~tamao/7196080/webrev.00/

changeset:
1. inequality doesn't transfer here.
X >= align_down(X)
X >= I
altogether, cannot infer that align_down(X) >= I. Simple math!
2. It's reasonable to check an assertion "max_heap > = OldSize", 
following the comment above the insertions.